Nuprl Lemma : bxor_wf
9,38
postcript
pdf
p
,
q
:
.
p
b
q
latex
ProofTree
Definitions
p
b
q
,
t
T
,
x
:
A
.
B
(
x
)
Lemmas
bool
wf
,
bnot
wf
,
band
wf
,
bor
wf
origin
p,q:
. p 
b q 
p,q:. p b q
b q Tx:A. B(x)